#ifndef __HALBOOT_H__
#define __HALBOOT_H__

	extern UINT32 HalBoot_LoaderEnable(void);
    extern UINT32 HalBoot_CosLocked(void);
    
#endif
